An Object-Oriented Approach to the Formal Specification of ODP Trader
نویسندگان
چکیده
An Object-Z formal speci cation of the ODP Trader is presented which concisely captures the hierarchical context structure, the distribution of information and the communication aspects of the Trader. Particular use is made of generic classes, class inheritance and object aggregation (i.e. the instantiation of collections of similar objects) to give a structured speci cation that can be readily extended.
منابع مشابه
An Object - Oriented Approach to theFormal Speci cation of ODP Trader
An Object-Z formal speciication of the ODP Trader is presented which concisely captures the hierarchical context structure, the distribution of information and the communication aspects of the Trader. Particular use is made of generic classes, class inheritance and object aggregation (i.e. the instantiation of collections of similar objects) to give a structured speciication that can be readily...
متن کاملAn Object - Oriented Approach to theFormal Speci cation of ODP
An Object-Z formal speciication of the ODP Trader is presented which concisely captures the hierarchical context structure, the distribution of information and the communication aspects of the Trader. Particular use is made of generic classes, class inheritance and object aggregation (i.e. the instantiation of collections of similar objects) to give a structured speciication that can be readily...
متن کاملObject-z: a Specification Language Advocated for the Description of Standards Object-z: a Speciication Language Advocated for the Description of Standards
The importance of formalising the speciication of standards has been recognised for a number of years. This paper advocates the use of the formal speciication language Object-Z in the deenition of standards. Object-Z is an extension to the Z language speciically to facilitate speciication in an object-oriented style. First, the syntax and semantics of Object-Z are described informally. Then the...
متن کاملAn architecture based approach to specifying distributed systems in LOTOS and Z
Specification is difficult. It is often the case that the most difficult aspect of specifying is the structuringof the specification to begin with. Adopting an architectural approach can help to alleviate this structuringproblem. We have investigated how the formal languages LOTOS and Z can be used to develop specificationtemplates suitable for architecting specifications of distrib...
متن کاملApplying the Architectural Semantics of ODP to Develop a Trader Specification
This paper provides an introduction to the role of Formal Description Techniques in the development of an architectural semantics for Open Distributed Processing (ODP). Following a brief overview of ODP and the Reference Model for ODP, an outline of the reasons for developing of an architectural semantics is given. The different approaches currently being taken for an ODP architectural semantic...
متن کامل